WSML Deliverable D 28 . 3 v 0 . 1 Ontology languages around FOL and LP

First-Order Logic, Description Logics, Frame Logic and (declarative) Logic Programming are important paradigms for describing and reasoning with ontologies and services on the Semantic Web. There have been attempts at combining these paradigms, most notably Description Logics and Logic Programming, but there is currently no unifying semantic framework which brings these paradigms together. In this deliverable we survey different existing approaches for combining LP and FOL-based languages (e.g. Description Logics). We then investigate different possible approaches for combining FOL and LP, currently focussing on modal languages, such as autoepistemic logic. Finally, we will choose one approach and develop a unifying semantic framework which combines FOL and LP. We will extend this framework with frame-based modeling from Frame Logic, as well as datatypes (concrete domains). We will define different sub-languages which correspond to the different paradigms. More specification, we define a Description Logic sub-language, an (F-)Logic Programming sub-language and a language which is an intersection of the DL and LP sub-languages.